| 翻訳と辞書 |
| Ruled variety ： ウィキペディア英語版 |
Ruled variety
In algebraic geometry, a variety over a field ''k'' is ruled if it is birational to the product of the projective line with some variety over ''k''. A variety is uniruled if it is covered by a family of rational curves. (More precisely, a variety ''X'' is uniruled if there is a variety ''Y'' and a dominant rational map ''Y'' × P1 – → ''X'' which does not factor through the projection to ''Y''.) The concept arose from the ruled surfaces of 19th-century geometry, meaning surfaces in affine space or projective space which are covered by lines. Uniruled varieties can be considered to be relatively simple among all varieties, although there are many of them.
==Properties==
Every uniruled variety over a field of characteristic zero has Kodaira dimension −∞. The converse is a conjecture which is known in dimension at most 3: a variety of Kodaira dimension −∞ over a field of characteristic zero should be uniruled. A related statement is known in all dimensions: Boucksom, Demailly, Păun and Peternell showed that a smooth projective variety ''X'' over a field of characteristic zero is uniruled if and only if the canonical bundle of ''X'' is not pseudo-effective (that is, not in the closed convex cone spanned by effective divisors in the Néron-Severi group tensored with the real numbers).〔Boucksom, Demailly, Păun and Peternell. J. Alg. Geom. 22 (2013), 201-248. Corollary 0.3.〕 As a very special case, a smooth hypersurface of degree ''d'' in P''n'' over a field of characteristic zero is uniruled if and only if ''d'' ≤ ''n'', by the adjunction formula. (In fact, a smooth hypersurface of degree ''d'' ≤ ''n'' in Pn is a Fano variety and hence is rationally connected, which is stronger than being uniruled.)
A variety ''X'' over an uncountable algebraically closed field ''k'' is uniruled if and only if there is a rational curve passing though every ''k''-point of ''X''. By contrast, there are varieties over the algebraic closure ''k'' of a finite field which are not uniruled but have a rational curve through every ''k''-point. (The Kummer variety of any non-supersingular abelian surface over ''p'' with ''p'' odd has these properties.〔F. Bogomolov and Y. Tschinkel, Amer. J. Math. 127 (2005), 825-835. Theorem 1.1.〕) It is not known whether varieties with these properties exist over the algebraic closure of the rational numbers.
Uniruledness is a geometric property (it is unchanged under field extensions), whereas ruledness is not. For example, the conic ''x''2 + ''y''2 + ''z''2 = 0 in P2 over the real numbers R is uniruled but not ruled. (The associated curve over the complex numbers C is isomorphic to P1 and hence is ruled.) In the positive direction, every uniruled variety of dimension at most 2 over an algebraically closed field of characteristic zero is ruled. Smooth cubic 3-folds and smooth quartic 3-folds in P4 over C are uniruled but not ruled.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Ruled variety」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|